2 00 8 On principally generated Q - modules in general , and skew local homeomorphisms in particular
نویسندگان
چکیده
Ordered sheaves on a small quantaloid Q have been defined in terms of Q-enriched categorical structures; they form a locally ordered category Ord(Q). It has previously been shown by the second author that the " free-cocompletion " KZ-doctrine on Ord(Q) has Mod(Q), the quantaloid of Q-modules, as category of Eilenberg-Moore algebras. In the first part of this paper we apply Q-enriched category theory, particularly the theory of totally algebraic cocomplete Q-categories as developed by the second author, to give an intrinsic description of the Kleisli algebras: we call them the locally principally generated Q-modules. We deduce that Ord(Q) is biequivalent to the 2-category of locally principally generated Q-modules and left adjoint module morphisms between them, and thus provide a rephrasing of the notion of ordered sheaf on Q in terms of the possibly more familiar Q-modules. Several examples are briefly discussed, but one particularly important example is worked out in full detail in the second part of this paper: the locally principally generated Q-modules in the case where Q is (the one-object suspension of) a locale X. By relating X-modules to objects of the slice category Loc/ X we obtain an account of ordered sheaves on X as skew local homeomorphisms into X as asymmetrical analogues of local homeomorphisms. Principally generated Q-modules. The well-known adjunction between the category Ord of ordered sets and order-preserving functions on the one hand, and the category Sup of complete lattices and supremum-preserving functions on the other,
منابع مشابه
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Ordered sheaves on a small quantaloid Q have been defined in terms of Qenriched categorical structures; they form a locally ordered category Ord(Q). The free-cocompletion KZ-doctrine on Ord(Q) has Mod(Q), the quantaloid of Q-modules, as category of Eilenberg-Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the locally principally generated Q-m...
متن کاملOn skew Armendariz and skew quasi-Armendariz modules
Let $alpha$ be an endomorphism and $delta$ an $alpha$-derivationof a ring $R$. In this paper we study the relationship between an$R$-module $M_R$ and the general polynomial module $M[x]$ over theskew polynomial ring $R[x;alpha,delta]$. We introduce the notionsof skew-Armendariz modules and skew quasi-Armendariz modules whichare generalizations of $alpha$-Armendariz modules and extend thecla...
متن کاملON GRADED LOCAL COHOMOLOGY MODULES DEFINED BY A PAIR OF IDEALS
Let $R = bigoplus_{n in mathbb{N}_{0}} R_{n}$ be a standardgraded ring, $M$ be a finitely generated graded $R$-module and $J$be a homogenous ideal of $R$. In this paper we study the gradedstructure of the $i$-th local cohomology module of $M$ defined by apair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. Moreprecisely, we discuss finiteness property and vanishing of thegraded components $H^...
متن کاملTOP LOCAL COHOMOLOGY AND TOP FORMAL LOCAL COHOMOLOGY MODULES WITH SPECIFIED ATTACHED PRIMES
Let (R,m) be a Noetherian local ring, M be a finitely generated R-module of dimension n and a be an ideal of R. In this paper, generalizing the main results of Dibaei and Jafari [3] and Rezaei [8], we will show that if T is a subset of AsshR M, then there exists an ideal a of R such that AttR Hna (M)=T. As an application, we give some relationships between top local cohomology modules and top f...
متن کاملOn quasi-baer modules
Let $R$ be a ring, $sigma$ be an endomorphism of $R$ and $M_R$ be a $sigma$-rigid module. A module $M_R$ is called quasi-Baer if the right annihilator of a principal submodule of $R$ is generated by an idempotent. It is shown that an $R$-module $M_R$ is a quasi-Baer module if and only if $M[[x]]$ is a quasi-Baer module over the skew power series ring $R[[x,sigma]]$.
متن کامل